Proof complexity - PDFSEARCH.IO - Document Search Engine

Proof complexity
Results: 225

#	Item
11	PARAMETERIZED PROOF COMPLEXITY Stefan Dantchev, Barnaby Martin, and Stefan Szeider Abstract. We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractabl Add to Reading List Source URL: www.bedewell.com - Date: 2010-09-03 07:57:16
12	RANK COMPLEXITY GAP FOR ´ LOVASZ-SCHRIJVER AND SHERALI-ADAMS PROOF SYSTEMS Stefan Dantchev and Barnaby Martin Add to Reading List Source URL: www.bedewell.com - Date: 2011-01-10 19:35:42
13	Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 08:04:57 Theoretical computer science Lance Fortnow Probabilistic complexity theory Carsten Lund Computer science IP BPP Probabilistically checkable proof Symposium on Foundations of Computer Science Mathematics
14	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-02-25 05:09:48 Computational complexity theory Complexity classes IP Proof of knowledge NP Soundness Interactive proof system PSPACE Zero-knowledge proof Probabilistic complexity theory Mathematical proof Quadratic residue
15	Fairfield County Lineage Society Application Guidelines and Checklist GENERAL INFORMATION Miscellaneous Information: 1. All applications and supporting documents become the property of FCC-OGS. 2. By submitting an applic Add to Reading List Source URL: www.fairfieldgenealogy.org Language: English - Date: 2014-01-19 16:16:57 Epistemology Philosophy Logic Automated theorem proving Computational complexity theory Critical thinking Logical truth Proof Genealogy Mathematical proof Divorce Maiden and married names
16	Locally Random Reductions: Improvements and Applications D. Beavery J. Feigenbaumz J. Kilianx September 1, 1995 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2001-10-24 10:55:38 Cryptography Polynomials Probabilistic complexity theory IP Commitment scheme NP Interactive proof system Zero-knowledge proof Polynomial interpolation Polynomial Random self-reducibility Permutation polynomial
17	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-07-07 05:51:55 Cryptography Zero-knowledge proof IP Distribution Computational complexity theory Interactive proof system Proof of knowledge
18	A Commitment-Consistent Proof of a Shuﬄe Douglas Wikstr¨om CSC KTH Stockholm, Sweden Abstract. We introduce a pre-computation technique that drastically Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:52:53 Cryptography Public-key cryptography Computational complexity theory Paillier cryptosystem Proof of knowledge Commitment scheme RSA Zero-knowledge proof Permutation ElGamal encryption IP
19	LNCSBatch Proofs of Partial Knowledge Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2016-05-12 20:00:31 Cryptography Mathematics Computational complexity theory Proof theory Zero-knowledge proof Proof of knowledge IP Soundness Distribution
20	Cryptographic Protocols Spring 2015 Slides for Chapter1 (part 2) Definition of zero-knowledge (ZK) Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-03-06 05:37:28 Cryptography Computing Computational complexity theory Proof of knowledge IP Distribution Challengeresponse authentication Communications protocol ZK Zero-knowledge proof